CSE 2231 Glossary

Abstraction Function

How to interpret the Instance Variables to obtain the abstract value for any given state. It is the function that explains how the concrete value corresponds to the abstract value. This function is outlined in the @correspondence class javadoc tag.